msc diagrams: call_setup_failure2(9) and call_teardown (5) 
INCONSISTENCY:
Matching formula: m9 = m5
Precondition 1: state (m9 , ringing n9);
Precondition 2: rel (m5 , n5 , connected);
Post condition 1: state (n9 , idle);
Post condition 2: state (n5 , dial);

msc diagrams: call_setup_inintial(7) and call_setup_success(6)
INCONSISTENCY:
Matching formula: n7 = n6
Precondition 1: state (n7 , idle);
Precondition 2: state (m6 , ringing n6);
Post condition 1: state (n7 , dial);
Post condition 2: rel (m6 , n6 , connected);
